id.\*:("3-540-65003-2")
Results 1 to 1 of 1
Selection :
FTRTFT'98 : formal techniques in real-time and fault-tolerant systems (Lyngby, 114-18 September 1998)Ravn, Anders P; Rischel, Hans.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-65003-2, VIII, 338 p, isbn 3-540-65003-2Conference Proceedings